Travail de recherche/Working paper
Titre: |
|
Auteur: | Best, Eike; Devillers, Raymond |
Informations sur la publication: | Dep. Informatik, Carl von Ossietzki Universität Oldenburg |
Statut de publication: | Publié, 2014-02 |
series: | Technical Report, 02/14 |
Sujet CREF: | Informatique mathématique |
Volumes/pages: | 80 p. |
Mots-clés: | Cyclic Behaviour, Labelled Transition Systems, Parikh vectors, Persistency, Petri nets, Region Theory, System Synthesis |
Langue: | Anglais |